$\mid$$i$$\mid$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if 0 $\leq$z $i$ then $i$ else {-}$i$ fi